退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:基于契约的嵌入式系统设计与名义行为与安全相结合
Bernhard Kaiser; Raphael Weber; Markus Oertel; Eckard Böde; Behrang Monajemi Nejad; Justyna Zander;
机译:集成名义行为和安全性的嵌入式系统基于合同的设计
机译:基于合同的符号控制器设计,用于分布式多周期采样数据系统的安全性
机译:将学习型建构主义环境和教学设计方法整合到嵌入式系统设计基础课程的定义中
机译:基于合同的安全关键型物理网络控制协议设计
机译:解决嵌入式系统需求中的标称行为。
机译:将安全态度和安全压力源纳入安全气候和安全行为关系中:以阿布扎比的医护专业人员为例
机译:将安全和安全要求集成到嵌入式系统的设计中
机译:设计电路系统,扩展现有方法以评估电路设计的可行性,执行电路设计的可行性评估,完善电路设计的第一决策规则,形成电路设计的第二决策规则的方法电路设计,用于为多个预先设计的电路块组织设计者的经验数据,提高胶粘逻辑分配效率,并在设计块之间分配胶粘的多个逻辑元素,并分配胶粘逻辑以在集成电路设备设计中执行方案,转换特定于电路块的接口,选择电路收集器,设计一种包含使能设备测试以验证a正确操作的设备,并开发行为测试台,项圈接口和接口系统
机译:将用户模型集成到界面设计中以及在客户服务中心环境中识别和分类客户的目标和行为的方法
机译:在用户服务中心环境中集成用户模型以进行界面设计以及识别和分类客户的目标和行为的方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。